Concrete Semantics: With Isabelle/HOL
by Tobias Nipkow,Gerwin Klein
ISBN 13: 9783319105413
Format: Hardcover (311 pages) Publisher: Springer Published: 31 Dec 2014
Save for later
ISBN 13: 9783319357591
Format: Paperback (311 pages) Publisher: Springer Published: 10 Sep 2016
Higher-Order Algebra, Logic, and Term Rewriting: First International Workshop, HOA '93, Amsterdam, The Netherlands, September 23 - 24, 1993. Selected Papers: 816 (Lecture Notes in Computer Science)
by Jan Heering,Tobias Nipkow,Bernhard M??ller,Karl Meinke
ISBN 13: 9783540582335
Format: Illustrated (360 pages) Publisher: Springer Published: 13 Jun 2008
Automated Reasoning: First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings: 2083 (Lecture Notes in Computer Science)
by Tobias Nipkow,Alexander Leitsch,Rajeev Gore
ISBN 13: 9783540422549
Format: Paperback (728 pages) Publisher: Springer Published: 13 Jun 2008
Types for Proofs and Programs: International Workshop TYPES '93, Nijmegen, The Netherlands, May 24 - 28, 1993. Selected Papers: 806 (Lecture Notes in Computer Science)
by Tobias Nipkow,Henk Barendregt
ISBN 13: 9783540580850
Format: Paperback (404 pages) Publisher: Springer Published: 13 Jun 2008
Isabelle/HOL: A Proof Assistant for Higher-Order Logic: 2283 (Lecture Notes in Computer Science, 2283)
by Tobias Nipkow,Lawrence C. Paulson,Markus Wenzel
ISBN 13: 9783540433767
Format: Illustrated (240 pages) Publisher: Springer Published: 03 Apr 2002